Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·8h·
Discuss: Hacker News
📚Programming language theory
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
📚Programming language theory
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
📚Programming language theory
A Minimal DDPM
github.com·1d·
Discuss: Hacker News
👁️computer vision
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·3d·
Discuss: Hacker News, Hacker News, Hacker News
📚Programming language theory
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
📚Programming language theory
A Neural Net For a Graphing Calculator?
hackaday.com·2h
👁️computer vision
A Wide Reduction Trick (2022)
words.filippo.io·7h·
Discuss: Lobsters, Hacker News
🌐Distributed systems
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·2d·
Discuss: Hacker News
👁️computer vision
A PhD's Apology
cappadokes.github.io·21h·
Discuss: Hacker News
📚Programming language theory
AtCoder Finals Problem Statement
atcoder.jp·16h·
Discuss: Hacker News
📚Programming language theory
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Hacker News
📚Programming language theory
Linkage
11011110.github.io·1d
📐Computational Geometry
What people said about an OpenZFS bug
despairlabs.com·18h·
Discuss: Lobsters, Hacker News
🦀Rust programming language
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·17h·
Discuss: Hacker News, r/programming
🌐Distributed systems
Gradual negation types and the Python type system
jellezijlstra.github.io·3h·
Discuss: Hacker News
📚Programming language theory
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
📚Programming language theory
Good binding data is all you need
leashbio.substack.com·11h·
Discuss: Substack
👁️computer vision
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🌐Distributed systems
Zig Interface Revisited
williamw520.github.io·17h·
Discuss: Hacker News
📚Programming language theory